2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition
Michael Huth
,
Mark Ryan
Категория:
Компьютеры
2.15 Mb
#2
Logic in computer science
Michael Huth
,
Mark Ryan
Категория:
Discrete math
2.04 Mb
#3
Logic in computer science: modelling and reasoning about systems
Michael Huth
,
Mark Ryan
,
M. Huth
,
M. Ryan
65.36 Mb
#4
Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007
Orna Grumberg
,
Michael Huth
Категория:
Cs_Computer science
,
CsLn_Lecture notes
8.60 Mb
#5
Secure Communicating Systems: Design, Analysis, and Implementation
Michael R. A. Huth
22.34 Mb